On a common generalization of Shelah's 2-rank, dp-rank, and o-minimal dimension
نویسندگان
چکیده
In this paper, we build a dimension theory related to Shelah's 2-rank, dp-rank, and o-minimal dimension. We call this dimension op-dimension. We exhibit the notion of the n-multiorder property, generalizing the order property, and use this to create op-rank, which generalizes 2-rank. From this we build opdimension. We show that op-dimension bounds dp-rank, that opdimension is sub-additive, and op-dimension generalizes o-minimal dimension in o-minimal theories.
منابع مشابه
Tame topology over dp-minimal structures
In this paper we develop tame topology over dp-minimal structures equipped with definable uniformities satisfying certain assumptions. Our assumptions are enough to ensure that definable sets are tame: there is a good notion of dimension on definable sets, definable functions are almost everywhere continuous, and definable sets are finite unions of graphs of definable continuous “multi-valued f...
متن کاملAdditivity of the Dp-rank
The main result is the prove of the linearity of the dp-rank. We also prove that the study of theories of finite dp-rank cannot be reduced to the study of its dp-minimal types and discuss the possible relations between dp-rank and VC-density.
متن کاملSome remarks on inp-minimal and finite burden groups
We prove that any left-ordered inp-minimal group is abelian and we provide an example of a non-abelian left-ordered group of dp-rank 2. Furthermore, we establish a necessary condition for group to have finite burden involving normalizers of definable sets, reminiscent of other chain conditions for stable groups. 0 Introduction and preliminaries One of the model-theoretic properties that gained ...
متن کاملGeometric Structures with a Dense Independent Subset
We generalize the work of [13] on expansions of o-minimal structures with dense independent subsets, to the setting of geometric structures. We introduce the notion of an H-structure of a geometric theory T , show that H-structures exist and are elementarily equivalent, and establish some basic properties of the resulting complete theory T , including quantifier elimination down to “H-bounded” ...
متن کاملA monotonicity theorem for dp-minimal densely ordered groups
Dp-minimality is a common generalization of weak minimality and weak o-minimality. If T is a weakly o-minimal theory then it is dp-minimal (Fact 2.2), but there are dp-minimal densely ordered groups that are not weakly o-minimal. We introduce the even more general notion of inpminimality and prove that in an inp-minimal densely ordered group, every definable unary function is a union of finitel...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Ann. Pure Appl. Logic
دوره 166 شماره
صفحات -
تاریخ انتشار 2015